!Feature
next_elt_id: 30
name: cfg OFF access M
id: 18
display_order: 18
subfeatures: !!omap
- 000_fetch_L0_X1_addr_hit: !Subfeature
    name: 000_fetch_L0_X1_addr_hit
    tag: VP_PMP_F018_S011
    next_elt_id: 1
    display_order: 0
    items: !!omap
    - '000': !VerifItem
        name: '000'
        tag: VP_PMP_F018_S011_I000
        description: 'reuse of VP_PMP_F012_S011_I000 feature description (Cf. Feature:
          "cfg NA4 access M")'
        reqt_doc: ''
        ref_mode: page
        ref_page: ''
        ref_section: ''
        ref_viewer: firefox
        verif_goals: "reuse of VP_PMP_F012_S011_I000 verification goals (Cf. Feature:
          \"cfg NA4 access M\")\n\nCONFIGURATION\n    - pmpcfg(i): A=OFF\n    - pmpaddr(i):
          NA4 address range"
        pfc: 3
        test_type: 3
        cov_method: 1
        cores: -1
        coverage_loc: ''
        comments: "<< link to the old pmp_verif_plan.txt and pmp_verif_plan_features.txt
          files (not up-to-date) : reading below not mandatory but may help for better
          understanding >>\n\nFTR01-f (refers to FTR08-e1)\n[PMP checks may additionally
          apply to M-mode accesses, in which case the PMP registers themselves are
          locked, so that even M-mode software cannot change them until the hart is
          reset]\n \nFTR08-e2-1 (refers to  FTR09-d1)\n[When the L bit is clear, any
          M-mode access matching the PMP entry will succeed]\nFTR09-d1 (refers to
          FTR08-e2-1)\n [If the L bit is clear and the privilege mode of the access
          is M, the access succeeds]\n\nFTR02-b1\n[the lowest-numbered PMP CSRs must
          be implemented first (QUESTION: does it mean programmed first)]\n\n\nTST18-1x(group)\n\
          \  [same as TST12-1x(group), but with pmpcfg(i).A=OFF]\nTST18-11 (LOW-PRIO)\n\
          \  [same as TST12-11(group), but with pmpcfg(i).A=OFF]"
- 001_fetch_L0_X0_addr_hit: !Subfeature
    name: 001_fetch_L0_X0_addr_hit
    tag: VP_PMP_F018_S012
    next_elt_id: 1
    display_order: 1
    items: !!omap
    - '000': !VerifItem
        name: '000'
        tag: VP_PMP_F018_S012_I000
        description: 'reuse of VP_PMP_F012_S012_I000 feature description (Cf. Feature:
          "cfg NA4 access M")'
        reqt_doc: ''
        ref_mode: page
        ref_page: ''
        ref_section: ''
        ref_viewer: firefox
        verif_goals: "reuse of VP_PMP_F012_S012_I000 verification goals (Cf. Feature:
          \"cfg NA4 access M\")\n\nCONFIGURATION\n    - pmpcfg(i): A=OFF\n    - pmpaddr(i):
          NA4 address range"
        pfc: 3
        test_type: 3
        cov_method: 1
        cores: -1
        coverage_loc: ''
        comments: "<< link to the old pmp_verif_plan.txt and pmp_verif_plan_features.txt
          files (not up-to-date) : reading below not mandatory but may help for better
          understanding >>\n\nFTR01-f (refers to FTR08-e1)\n[PMP checks may additionally
          apply to M-mode accesses, in which case the PMP registers themselves are
          locked, so that even M-mode software cannot change them until the hart is
          reset]\n \nFTR08-e2-1 (refers to  FTR09-d1)\n[When the L bit is clear, any
          M-mode access matching the PMP entry will succeed]\nFTR09-d1 (refers to
          FTR08-e2-1)\n [If the L bit is clear and the privilege mode of the access
          is M, the access succeeds]\n\nFTR02-b1\n[the lowest-numbered PMP CSRs must
          be implemented first (QUESTION: does it mean programmed first)]\n\n\nTST18-1x(group)\n\
          \  [same as TST12-1x(group), but with pmpcfg(i).A=OFF]\nTST18-12 (LOW-PRIO)\n\
          \  [same as TST12-12(group), but with pmpcfg(i).A=OFF]"
- 002_fetch_L0_X1_addr_miss: !Subfeature
    name: 002_fetch_L0_X1_addr_miss
    tag: VP_PMP_F018_S013
    next_elt_id: 1
    display_order: 2
    items: !!omap
    - '000': !VerifItem
        name: '000'
        tag: VP_PMP_F018_S013_I000
        description: 'reuse of VP_PMP_F012_S013_I000 feature description (Cf. Feature:
          "cfg NA4 access M")'
        reqt_doc: ''
        ref_mode: page
        ref_page: ''
        ref_section: ''
        ref_viewer: firefox
        verif_goals: "reuse of VP_PMP_F012_S013_I000 verification goals (Cf. Feature:
          \"cfg NA4 access M\")\n\nCONFIGURATION\n    - pmpcfg(i): A=OFF\n    - pmpaddr(i):
          NA4 address range"
        pfc: 3
        test_type: 3
        cov_method: 1
        cores: -1
        coverage_loc: ''
        comments: "<< link to the old pmp_verif_plan.txt and pmp_verif_plan_features.txt
          files (not up-to-date) : reading below not mandatory but may help for better
          understanding >>\n\nFTR01-f (refers to FTR08-e1)\n[PMP checks may additionally
          apply to M-mode accesses, in which case the PMP registers themselves are
          locked, so that even M-mode software cannot change them until the hart is
          reset]\n \nFTR08-e2-1 (refers to  FTR09-d1)\n[When the L bit is clear, any
          M-mode access matching the PMP entry will succeed]\nFTR09-d1 (refers to
          FTR08-e2-1)\n [If the L bit is clear and the privilege mode of the access
          is M, the access succeeds]\n\nFTR02-b1\n[the lowest-numbered PMP CSRs must
          be implemented first (QUESTION: does it mean programmed first)]\n\n\nTST18-1x(group)\n\
          \  [same as TST12-1x(group), but with pmpcfg(i).A=OFF]\nTST18-13 (LOW-PRIO)\n\
          \  [same as TST12-13(group), but with pmpcfg(i).A=OFF]"
- 003_fetch_L1_X1_addr_hit: !Subfeature
    name: 003_fetch_L1_X1_addr_hit
    tag: VP_PMP_F018_S014
    next_elt_id: 1
    display_order: 3
    items: !!omap
    - '000': !VerifItem
        name: '000'
        tag: VP_PMP_F018_S014_I000
        description: 'reuse of VP_PMP_F012_S014_I000 feature description (Cf. Feature:
          "cfg NA4 access M")'
        reqt_doc: ''
        ref_mode: page
        ref_page: ''
        ref_section: ''
        ref_viewer: firefox
        verif_goals: "reuse of VP_PMP_F012_S014_I000 verification goals (Cf. Feature:
          \"cfg NA4 access M\")\n\nCONFIGURATION\n    - pmpcfg(i): A=OFF\n    - pmpaddr(i):
          NA4 address range\n\nCHECK UPDATE\n  - check store access-fault exception
          raised (TODO: is M mode access prevented by A=OFF)"
        pfc: 3
        test_type: 3
        cov_method: 1
        cores: -1
        coverage_loc: ''
        comments: "<< link to the old pmp_verif_plan.txt and pmp_verif_plan_features.txt
          files (not up-to-date) : reading below not mandatory but may help for better
          understanding >>\n\nFTR01-f (refers to FTR08-e1)\n[PMP checks may additionally
          apply to M-mode accesses, in which case the PMP registers themselves are
          locked, so that even M-mode software cannot change them until the hart is
          reset]\n \nFTR08-e1 (refers to FTR01-f) (refers to FTR09-d2-1)\n[When the
          L bit is set, these permissions are enforced for all privilege modes]\n
          FTR09-d2-1 (refers to FTR08-e1) (refers to FTR01-f)\n[if the L bit is set,
          then the access succeeds only if the R, W, or X bit corresponding to the
          access type is set]\n\nFTR02-b1\n[the lowest-numbered PMP CSRs must be implemented
          first (QUESTION: does it mean programmed first)]\n\n\nTST18-1x(group)\n\
          \  [same as TST12-1x(group), but with pmpcfg(i).A=OFF]\nTST18-14 (HIGH-PRIO)\n\
          \  [same as TST12-14(group), but with pmpcfg(i).A=OFF\n  - check instruction
          fetch access-fault exception raised]"
- 004_fetch_L1_X0_addr_hit: !Subfeature
    name: 004_fetch_L1_X0_addr_hit
    tag: VP_PMP_F018_S015
    next_elt_id: 1
    display_order: 4
    items: !!omap
    - '000': !VerifItem
        name: '000'
        tag: VP_PMP_F018_S015_I000
        description: 'reuse of VP_PMP_F012_S015_I000 feature description (Cf. Feature:
          "cfg NA4 access M")'
        reqt_doc: ''
        ref_mode: page
        ref_page: ''
        ref_section: ''
        ref_viewer: firefox
        verif_goals: "reuse of VP_PMP_F012_S015_I000 verification goals (Cf. Feature:
          \"cfg NA4 access M\")\n\nCONFIGURATION\n    - pmpcfg(i): A=OFF\n    - pmpaddr(i):
          NA4 address range"
        pfc: 3
        test_type: 3
        cov_method: 1
        cores: -1
        coverage_loc: ''
        comments: "<< link to the old pmp_verif_plan.txt and pmp_verif_plan_features.txt
          files (not up-to-date) : reading below not mandatory but may help for better
          understanding >>\n\nFTR01-f (refers to FTR08-e1)\n[PMP checks may additionally
          apply to M-mode accesses, in which case the PMP registers themselves are
          locked, so that even M-mode software cannot change them until the hart is
          reset]\n \nFTR08-e1 (refers to FTR01-f) (refers to FTR09-d2-1)\n[When the
          L bit is set, these permissions are enforced for all privilege modes]\n
          FTR09-d2-1 (refers to FTR08-e1) (refers to FTR01-f)\n[if the L bit is set,
          then the access succeeds only if the R, W, or X bit corresponding to the
          access type is set]\n\nFTR04-b\n[Attempting to fetch an instruction from
          a PMP region that does not have execute permissions raises an instruction
          access-fault exception]\n\nFTR02-b1\n[the lowest-numbered PMP CSRs must
          be implemented first (QUESTION: does it mean programmed first)]\n\n\nTST18-1x(group)\n\
          \  [same as TST12-1x(group), but with pmpcfg(i).A=OFF]\nTST18-15 (MEDIUM-PRIO)\n\
          \  [same as TST12-15(group), but with pmpcfg(i).A=OFF]"
- 005_fetch_L1_X1_addr_miss: !Subfeature
    name: 005_fetch_L1_X1_addr_miss
    tag: VP_PMP_F018_S016
    next_elt_id: 1
    display_order: 5
    items: !!omap
    - '000': !VerifItem
        name: '000'
        tag: VP_PMP_F018_S016_I000
        description: 'reuse of VP_PMP_F012_S016_I000 feature description (Cf. Feature:
          "cfg NA4 access M")'
        reqt_doc: ''
        ref_mode: page
        ref_page: ''
        ref_section: ''
        ref_viewer: firefox
        verif_goals: "reuse of VP_PMP_F012_S016_I000 verification goals (Cf. Feature:
          \"cfg NA4 access M\")\n\nCONFIGURATION\n    - pmpcfg(i): A=OFF\n    - pmpaddr(i):
          NA4 address range"
        pfc: 3
        test_type: 3
        cov_method: 1
        cores: -1
        coverage_loc: ''
        comments: "<< link to the old pmp_verif_plan.txt and pmp_verif_plan_features.txt
          files (not up-to-date) : reading below not mandatory but may help for better
          understanding >>\n\nFTR01-f (refers to FTR08-e1)\n[PMP checks may additionally
          apply to M-mode accesses, in which case the PMP registers themselves are
          locked, so that even M-mode software cannot change them until the hart is
          reset]\n \nFTR08-e1 (refers to FTR01-f) (refers to FTR09-d2-1)\n[When the
          L bit is set, these permissions are enforced for all privilege modes]\n
          FTR09-d2-1 (refers to FTR08-e1) (refers to FTR01-f)\n[if the L bit is set,
          then the access succeeds only if the R, W, or X bit corresponding to the
          access type is set]\n\nFTR02-b1\n[the lowest-numbered PMP CSRs must be implemented
          first (QUESTION: does it mean programmed first)]\n\n\nTST18-1x(group)\n\
          \  [same as TST12-1x(group), but with pmpcfg(i).A=OFF]\nTST18-16 (HIGH-PRIO)\n\
          \  [same as TST12-16(group), but with pmpcfg(i).A=OFF]"
- 006_load_L0_R1_addr_hit: !Subfeature
    name: 006_load_L0_R1_addr_hit
    tag: VP_PMP_F018_S021
    next_elt_id: 1
    display_order: 6
    items: !!omap
    - '000': !VerifItem
        name: '000'
        tag: VP_PMP_F018_S021_I000
        description: 'reuse of VP_PMP_F012_S021_I000 feature description (Cf. Feature:
          "cfg NA4 access M")'
        reqt_doc: ''
        ref_mode: page
        ref_page: ''
        ref_section: ''
        ref_viewer: firefox
        verif_goals: "reuse of VP_PMP_F012_S021_I000 verification goals (Cf. Feature:
          \"cfg NA4 access M\")\n\nCONFIGURATION\n    - pmpcfg(i): A=OFF\n    - pmpaddr(i):
          NA4 address range"
        pfc: 3
        test_type: 3
        cov_method: 1
        cores: -1
        coverage_loc: ''
        comments: "<< link to the old pmp_verif_plan.txt and pmp_verif_plan_features.txt
          files (not up-to-date) : reading below not mandatory but may help for better
          understanding >>\n\nFTR01-f (refers to FTR08-e1)\n[PMP checks may additionally
          apply to M-mode accesses, in which case the PMP registers themselves are
          locked, so that even M-mode software cannot change them until the hart is
          reset]\n \nFTR08-e2-1 (refers to  FTR09-d1)\n[When the L bit is clear, any
          M-mode access matching the PMP entry will succeed]\nFTR09-d1 (refers to
          FTR08-e2-1)\n [If the L bit is clear and the privilege mode of the access
          is M, the access succeeds]\n\nFTR02-b1\n[the lowest-numbered PMP CSRs must
          be implemented first (QUESTION: does it mean programmed first)]\n\n\nTST18-2x(group)\n\
          \  [same as TST12-2x(group), but with pmpcfg(i).A=OFF]\nTST18-21 (LOW-PRIO)\n\
          \  [same as TST12-21(group), but with pmpcfg(i).A=OFF]"
- 007_load_L0_R0_addr_hit: !Subfeature
    name: 007_load_L0_R0_addr_hit
    tag: VP_PMP_F018_S022
    next_elt_id: 1
    display_order: 7
    items: !!omap
    - '000': !VerifItem
        name: '000'
        tag: VP_PMP_F018_S022_I000
        description: 'reuse of VP_PMP_F012_S022_I000 feature description (Cf. Feature:
          "cfg NA4 access M")'
        reqt_doc: ''
        ref_mode: page
        ref_page: ''
        ref_section: ''
        ref_viewer: firefox
        verif_goals: "reuse of VP_PMP_F012_S022_I000 verification goals (Cf. Feature:
          \"cfg NA4 access M\")\n\nCONFIGURATION\n    - pmpcfg(i): A=OFF\n    - pmpaddr(i):
          NA4 address range"
        pfc: 3
        test_type: 3
        cov_method: 1
        cores: -1
        coverage_loc: ''
        comments: "<< link to the old pmp_verif_plan.txt and pmp_verif_plan_features.txt
          files (not up-to-date) : reading below not mandatory but may help for better
          understanding >>\n\nFTR01-f (refers to FTR08-e1)\n[PMP checks may additionally
          apply to M-mode accesses, in which case the PMP registers themselves are
          locked, so that even M-mode software cannot change them until the hart is
          reset]\n \nFTR08-e2-1 (refers to  FTR09-d1)\n[When the L bit is clear, any
          M-mode access matching the PMP entry will succeed]\nFTR09-d1 (refers to
          FTR08-e2-1)\n [If the L bit is clear and the privilege mode of the access
          is M, the access succeeds]\n\nFTR02-b1\n[the lowest-numbered PMP CSRs must
          be implemented first (QUESTION: does it mean programmed first)]\n\n\nTST18-2x(group)\n\
          \  [same as TST12-2x(group), but with pmpcfg(i).A=OFF]\nTST18-22 (LOW-PRIO)\n\
          \  [same as TST12-22(group), but with pmpcfg(i).A=OFF]"
- 008_load_L0_R1_addr_miss: !Subfeature
    name: 008_load_L0_R1_addr_miss
    tag: VP_PMP_F018_S023
    next_elt_id: 1
    display_order: 8
    items: !!omap
    - '000': !VerifItem
        name: '000'
        tag: VP_PMP_F018_S023_I000
        description: 'reuse of VP_PMP_F012_S023_I000 feature description (Cf. Feature:
          "cfg NA4 access M")'
        reqt_doc: ''
        ref_mode: page
        ref_page: ''
        ref_section: ''
        ref_viewer: firefox
        verif_goals: "reuse of VP_PMP_F012_S023_I000 verification goals (Cf. Feature:
          \"cfg NA4 access M\")\n\nCONFIGURATION\n    - pmpcfg(i): A=OFF\n    - pmpaddr(i):
          NA4 address range"
        pfc: 3
        test_type: 3
        cov_method: 1
        cores: -1
        coverage_loc: ''
        comments: "<< link to the old pmp_verif_plan.txt and pmp_verif_plan_features.txt
          files (not up-to-date) : reading below not mandatory but may help for better
          understanding >>\n\nFTR01-f (refers to FTR08-e1)\n[PMP checks may additionally
          apply to M-mode accesses, in which case the PMP registers themselves are
          locked, so that even M-mode software cannot change them until the hart is
          reset]\n \nFTR08-e2-1 (refers to  FTR09-d1)\n[When the L bit is clear, any
          M-mode access matching the PMP entry will succeed]\nFTR09-d1 (refers to
          FTR08-e2-1)\n [If the L bit is clear and the privilege mode of the access
          is M, the access succeeds]\n\nFTR02-b1\n[the lowest-numbered PMP CSRs must
          be implemented first (QUESTION: does it mean programmed first)]\n\n\nTST18-2x(group)\n\
          \  [same as TST12-2x(group), but with pmpcfg(i).A=OFF]\nTST18-23 (LOW-PRIO)\n\
          \  [same as TST12-23(group), but with pmpcfg(i).A=OFF]"
- 009_load_L1_R1_addr_hit: !Subfeature
    name: 009_load_L1_R1_addr_hit
    tag: VP_PMP_F018_S024
    next_elt_id: 1
    display_order: 9
    items: !!omap
    - '000': !VerifItem
        name: '000'
        tag: VP_PMP_F018_S024_I000
        description: 'reuse of VP_PMP_F012_S024_I000 feature description (Cf. Feature:
          "cfg NA4 access M")'
        reqt_doc: ''
        ref_mode: page
        ref_page: ''
        ref_section: ''
        ref_viewer: firefox
        verif_goals: "reuse of VP_PMP_F012_S024_I000 verification goals (Cf. Feature:
          \"cfg NA4 access M\")\n\nCONFIGURATION\n    - pmpcfg(i): A=OFF\n    - pmpaddr(i):
          NA4 address range\n\nCHECK UPDATE\n  - check store access-fault exception
          raised (TODO: is M mode access prevented by A=OFF)"
        pfc: 3
        test_type: 3
        cov_method: 1
        cores: -1
        coverage_loc: ''
        comments: "<< link to the old pmp_verif_plan.txt and pmp_verif_plan_features.txt
          files (not up-to-date) : reading below not mandatory but may help for better
          understanding >>\n\nFTR01-f (refers to FTR08-e1)\n[PMP checks may additionally
          apply to M-mode accesses, in which case the PMP registers themselves are
          locked, so that even M-mode software cannot change them until the hart is
          reset]\n \nFTR08-e1 (refers to FTR01-f) (refers to FTR09-d2-1)\n[When the
          L bit is set, these permissions are enforced for all privilege modes]\n
          FTR09-d2-1 (refers to FTR08-e1) (refers to FTR01-f)\n[if the L bit is set,
          then the access succeeds only if the R, W, or X bit corresponding to the
          access type is set]\n\nFTR02-b1\n[the lowest-numbered PMP CSRs must be implemented
          first (QUESTION: does it mean programmed first)]\n\n\nTST18-2x(group)\n\
          \  [same as TST12-2x(group), but with pmpcfg(i).A=OFF]\nTST18-24 (HIGH-PRIO)\n\
          \  [same as TST12-24(group), but with pmpcfg(i).A=OFF\n  - check instruction
          fetch access-fault exception raised]"
- 010_load_L1_R0_addr_hit: !Subfeature
    name: 010_load_L1_R0_addr_hit
    tag: VP_PMP_F018_S025
    next_elt_id: 1
    display_order: 10
    items: !!omap
    - '000': !VerifItem
        name: '000'
        tag: VP_PMP_F018_S025_I000
        description: 'reuse of VP_PMP_F012_S025_I000 feature description (Cf. Feature:
          "cfg NA4 access M")'
        reqt_doc: ''
        ref_mode: page
        ref_page: ''
        ref_section: ''
        ref_viewer: firefox
        verif_goals: "reuse of VP_PMP_F012_S025_I000 verification goals (Cf. Feature:
          \"cfg NA4 access M\")\n\nCONFIGURATION\n    - pmpcfg(i): A=OFF\n    - pmpaddr(i):
          NA4 address range"
        pfc: 3
        test_type: 3
        cov_method: 1
        cores: -1
        coverage_loc: ''
        comments: "<< link to the old pmp_verif_plan.txt and pmp_verif_plan_features.txt
          files (not up-to-date) : reading below not mandatory but may help for better
          understanding >>\n\nFTR01-f (refers to FTR08-e1)\n[PMP checks may additionally
          apply to M-mode accesses, in which case the PMP registers themselves are
          locked, so that even M-mode software cannot change them until the hart is
          reset]\n \nFTR08-e1 (refers to FTR01-f) (refers to FTR09-d2-1)\n[When the
          L bit is set, these permissions are enforced for all privilege modes]\n
          FTR09-d2-1 (refers to FTR08-e1) (refers to FTR01-f)\n[if the L bit is set,
          then the access succeeds only if the R, W, or X bit corresponding to the
          access type is set]\n\nFTR04-c\n[Attempting to execute a load or load-reserved
          instruction which accesses a physical address within a PMP region without
          read permissions raises a load access-fault exception]\n\nFTR02-b1\n[the
          lowest-numbered PMP CSRs must be implemented first (QUESTION: does it mean
          programmed first)]\n \n\nTST18-2x(group)\n  [same as TST12-2x(group), but
          with pmpcfg(i).A=OFF]\n TST18-25 (MEDIUM-PRIO)\n  [same as TST12-25(group),
          but with pmpcfg(i).A=OFF]"
- 011_load_L1_R1_addr_miss: !Subfeature
    name: 011_load_L1_R1_addr_miss
    tag: VP_PMP_F018_S026
    next_elt_id: 1
    display_order: 11
    items: !!omap
    - '000': !VerifItem
        name: '000'
        tag: VP_PMP_F018_S026_I000
        description: 'reuse of VP_PMP_F012_S026_I000 feature description (Cf. Feature:
          "cfg NA4 access M")'
        reqt_doc: ''
        ref_mode: page
        ref_page: ''
        ref_section: ''
        ref_viewer: firefox
        verif_goals: "reuse of VP_PMP_F012_S026_I000 verification goals (Cf. Feature:
          \"cfg NA4 access M\")\n\nCONFIGURATION\n    - pmpcfg(i): A=OFF\n    - pmpaddr(i):
          NA4 address range"
        pfc: 3
        test_type: 3
        cov_method: 1
        cores: -1
        coverage_loc: ''
        comments: "<< link to the old pmp_verif_plan.txt and pmp_verif_plan_features.txt
          files (not up-to-date) : reading below not mandatory but may help for better
          understanding >>\n\nFTR01-f (refers to FTR08-e1)\n[PMP checks may additionally
          apply to M-mode accesses, in which case the PMP registers themselves are
          locked, so that even M-mode software cannot change them until the hart is
          reset]\n \nFTR08-e1 (refers to FTR01-f) (refers to FTR09-d2-1)\n[When the
          L bit is set, these permissions are enforced for all privilege modes]\n
          FTR09-d2-1 (refers to FTR08-e1) (refers to FTR01-f)\n[if the L bit is set,
          then the access succeeds only if the R, W, or X bit corresponding to the
          access type is set]\n\nFTR02-b1\n[the lowest-numbered PMP CSRs must be implemented
          first (QUESTION: does it mean programmed first)]\n\n\nTST18-2x(group)\n\
          \  [same as TST12-2x(group), but with pmpcfg(i).A=OFF]\nTST18-26 (HIGH-PRIO)\n\
          \  [same as TST12-26(group), but with pmpcfg(i).A=OFF]"
- 012_store_L0_W1_addr_hit: !Subfeature
    name: 012_store_L0_W1_addr_hit
    tag: VP_PMP_F018_S031
    next_elt_id: 1
    display_order: 12
    items: !!omap
    - '000': !VerifItem
        name: '000'
        tag: VP_PMP_F018_S031_I000
        description: 'reuse of VP_PMP_F012_S031_I000 feature description (Cf. Feature:
          "cfg NA4 access M")'
        reqt_doc: ''
        ref_mode: page
        ref_page: ''
        ref_section: ''
        ref_viewer: firefox
        verif_goals: "reuse of VP_PMP_F012_S031_I000 verification goals (Cf. Feature:
          \"cfg NA4 access M\")\n\nCONFIGURATION\n    - pmpcfg(i): A=OFF\n    - pmpaddr(i):
          NA4 address range"
        pfc: 3
        test_type: 3
        cov_method: 1
        cores: -1
        coverage_loc: ''
        comments: "<< link to the old pmp_verif_plan.txt and pmp_verif_plan_features.txt
          files (not up-to-date) : reading below not mandatory but may help for better
          understanding >>\n\nFTR01-f (refers to FTR08-e1)\n[PMP checks may additionally
          apply to M-mode accesses, in which case the PMP registers themselves are
          locked, so that even M-mode software cannot change them until the hart is
          reset]\n \nFTR08-e2-1 (refers to  FTR09-d1)\n[When the L bit is clear, any
          M-mode access matching the PMP entry will succeed]\nFTR09-d1 (refers to
          FTR08-e2-1)\n [If the L bit is clear and the privilege mode of the access
          is M, the access succeeds]\n\nFTR02-b1\n[the lowest-numbered PMP CSRs must
          be implemented first (QUESTION: does it mean programmed first)]\n\n\nTST18-3x(group)\n\
          \  [same as TST12-3x(group), but with pmpcfg(i).A=OFF]\nTST18-31 (LOW-PRIO)\n\
          \  [same as TST12-31(group), but with pmpcfg(i).A=OFF]"
- 013_store_L0_W0_addr_hit: !Subfeature
    name: 013_store_L0_W0_addr_hit
    tag: VP_PMP_F018_S032
    next_elt_id: 1
    display_order: 13
    items: !!omap
    - '000': !VerifItem
        name: '000'
        tag: VP_PMP_F018_S032_I000
        description: 'reuse of VP_PMP_F012_S032_I000 feature description (Cf. Feature:
          "cfg NA4 access M")'
        reqt_doc: ''
        ref_mode: page
        ref_page: ''
        ref_section: ''
        ref_viewer: firefox
        verif_goals: "reuse of VP_PMP_F012_S032_I000 verification goals (Cf. Feature:
          \"cfg NA4 access M\")\n\nCONFIGURATION\n    - pmpcfg(i): A=OFF\n    - pmpaddr(i):
          NA4 address range"
        pfc: 3
        test_type: 3
        cov_method: 1
        cores: -1
        coverage_loc: ''
        comments: "<< link to the old pmp_verif_plan.txt and pmp_verif_plan_features.txt
          files (not up-to-date) : reading below not mandatory but may help for better
          understanding >>\n\nFTR01-f (refers to FTR08-e1)\n[PMP checks may additionally
          apply to M-mode accesses, in which case the PMP registers themselves are
          locked, so that even M-mode software cannot change them until the hart is
          reset]\n \nFTR08-e2-1 (refers to  FTR09-d1)\n[When the L bit is clear, any
          M-mode access matching the PMP entry will succeed]\nFTR09-d1 (refers to
          FTR08-e2-1)\n [If the L bit is clear and the privilege mode of the access
          is M, the access succeeds]\n\nFTR02-b1\n[the lowest-numbered PMP CSRs must
          be implemented first (QUESTION: does it mean programmed first)]\n\n\nTST18-3x(group)\n\
          \  [same as TST12-3x(group), but with pmpcfg(i).A=OFF]\nTST18-32 (LOW-PRIO)\n\
          \  [same as TST12-32(group), but with pmpcfg(i).A=OFF]"
- 014_store_L0_W1_addr_miss: !Subfeature
    name: 014_store_L0_W1_addr_miss
    tag: VP_PMP_F018_S033
    next_elt_id: 1
    display_order: 14
    items: !!omap
    - '000': !VerifItem
        name: '000'
        tag: VP_PMP_F018_S033_I000
        description: 'reuse of VP_PMP_F012_S033_I000 feature description (Cf. Feature:
          "cfg NA4 access M")'
        reqt_doc: ''
        ref_mode: page
        ref_page: ''
        ref_section: ''
        ref_viewer: firefox
        verif_goals: "reuse of VP_PMP_F012_S033_I000 verification goals (Cf. Feature:
          \"cfg NA4 access M\")\n\nCONFIGURATION\n    - pmpcfg(i): A=OFF\n    - pmpaddr(i):
          NA4 address range"
        pfc: 3
        test_type: 3
        cov_method: 1
        cores: -1
        coverage_loc: ''
        comments: "<< link to the old pmp_verif_plan.txt and pmp_verif_plan_features.txt
          files (not up-to-date) : reading below not mandatory but may help for better
          understanding >>\n\nFTR01-f (refers to FTR08-e1)\n[PMP checks may additionally
          apply to M-mode accesses, in which case the PMP registers themselves are
          locked, so that even M-mode software cannot change them until the hart is
          reset]\n \nFTR08-e2-1 (refers to  FTR09-d1)\n[When the L bit is clear, any
          M-mode access matching the PMP entry will succeed]\nFTR09-d1 (refers to
          FTR08-e2-1)\n [If the L bit is clear and the privilege mode of the access
          is M, the access succeeds]\n\nFTR02-b1\n[the lowest-numbered PMP CSRs must
          be implemented first (QUESTION: does it mean programmed first)]\n\n\nTST18-3x(group)\n\
          \  [same as TST12-3x(group), but with pmpcfg(i).A=OFF]\nTST18-33 (LOW-PRIO)\n\
          \  [same as TST12-33(group), but with pmpcfg(i).A=OFF]"
- 015_store_L1_W1_addr_hit: !Subfeature
    name: 015_store_L1_W1_addr_hit
    tag: VP_PMP_F018_S034
    next_elt_id: 1
    display_order: 15
    items: !!omap
    - '000': !VerifItem
        name: '000'
        tag: VP_PMP_F018_S034_I000
        description: 'reuse of VP_PMP_F012_S034_I000 feature description (Cf. Feature:
          "cfg NA4 access M")'
        reqt_doc: ''
        ref_mode: page
        ref_page: ''
        ref_section: ''
        ref_viewer: firefox
        verif_goals: "reuse of VP_PMP_F012_S034_I000 verification goals (Cf. Feature:
          \"cfg NA4 access M\")\n\nCONFIGURATION\n    - pmpcfg(i): A=OFF\n    - pmpaddr(i):
          NA4 address range\n\nCHECK UPDATE\n  - check store access-fault exception
          raised (TODO: is M mode access prevented by A=OFF)"
        pfc: 3
        test_type: 3
        cov_method: 1
        cores: -1
        coverage_loc: ''
        comments: "<< link to the old pmp_verif_plan.txt and pmp_verif_plan_features.txt
          files (not up-to-date) : reading below not mandatory but may help for better
          understanding >>\n\nFTR01-f (refers to FTR08-e1)\n[PMP checks may additionally
          apply to M-mode accesses, in which case the PMP registers themselves are
          locked, so that even M-mode software cannot change them until the hart is
          reset]\n \nFTR08-e1 (refers to FTR01-f) (refers to FTR09-d2-1)\n[When the
          L bit is set, these permissions are enforced for all privilege modes]\n
          FTR09-d2-1 (refers to FTR08-e1) (refers to FTR01-f)\n[if the L bit is set,
          then the access succeeds only if the R, W, or X bit corresponding to the
          access type is set]\n\nFTR02-b1\n[the lowest-numbered PMP CSRs must be implemented
          first (QUESTION: does it mean programmed first)]\n\n\nTST18-3x(group)\n\
          \  [same as TST12-3x(group), but with pmpcfg(i).A=OFF]\nTST18-34 (HIGH-PRIO)\n\
          \  [same as TST12-34(group), but with pmpcfg(i).A=OFF\n  - check instruction
          fetch access-fault exception raised]"
- 016_store_L1_W0_addr_hit: !Subfeature
    name: 016_store_L1_W0_addr_hit
    tag: VP_PMP_F018_S035
    next_elt_id: 1
    display_order: 16
    items: !!omap
    - '000': !VerifItem
        name: '000'
        tag: VP_PMP_F018_S035_I000
        description: 'reuse of VP_PMP_F012_S035_I000 feature description (Cf. Feature:
          "cfg NA4 access M")'
        reqt_doc: ''
        ref_mode: page
        ref_page: ''
        ref_section: ''
        ref_viewer: firefox
        verif_goals: "reuse of VP_PMP_F012_S035_I000 verification goals (Cf. Feature:
          \"cfg NA4 access M\")\n\nCONFIGURATION\n    - pmpcfg(i): A=OFF\n    - pmpaddr(i):
          NA4 address range"
        pfc: 3
        test_type: 3
        cov_method: 1
        cores: -1
        coverage_loc: ''
        comments: "<< link to the old pmp_verif_plan.txt and pmp_verif_plan_features.txt
          files (not up-to-date) : reading below not mandatory but may help for better
          understanding >>\n\nFTR01-f (refers to FTR08-e1)\n[PMP checks may additionally
          apply to M-mode accesses, in which case the PMP registers themselves are
          locked, so that even M-mode software cannot change them until the hart is
          reset]\n \nFTR08-e1 (refers to FTR01-f) (refers to FTR09-d2-1)\n[When the
          L bit is set, these permissions are enforced for all privilege modes]\n
          FTR09-d2-1 (refers to FTR08-e1) (refers to FTR01-f)\n[if the L bit is set,
          then the access succeeds only if the R, W, or X bit corresponding to the
          access type is set]\n\nFTR04-d\n[Attempting to execute a store, store-conditional,
          or AMO instruction which accesses a physical address within a PMP region
          without write permissions raises a store access-fault exception]\n\nFTR02-b1\n
          [the lowest-numbered PMP CSRs must be implemented first (QUESTION: does
          it mean programmed first)]\n\n\nTST18-3x(group)\n  [same as TST12-3x(group),
          but with pmpcfg(i).A=OFF]\nTST18-35 (MEDIUM-PRIO)\n  [same as TST12-35(group),
          but with pmpcfg(i).A=OFF]"
- 017_store_L1_W1_addr_miss: !Subfeature
    name: 017_store_L1_W1_addr_miss
    tag: VP_PMP_F018_S036
    next_elt_id: 1
    display_order: 17
    items: !!omap
    - '000': !VerifItem
        name: '000'
        tag: VP_PMP_F018_S036_I000
        description: 'reuse of VP_PMP_F012_S036_I000 feature description (Cf. Feature:
          "cfg NA4 access M")'
        reqt_doc: ''
        ref_mode: page
        ref_page: ''
        ref_section: ''
        ref_viewer: firefox
        verif_goals: "reuse of VP_PMP_F012_S036_I000 verification goals (Cf. Feature:
          \"cfg NA4 access M\")\n\nCONFIGURATION\n    - pmpcfg(i): A=OFF\n    - pmpaddr(i):
          NA4 address range"
        pfc: 3
        test_type: 3
        cov_method: 1
        cores: -1
        coverage_loc: ''
        comments: "<< link to the old pmp_verif_plan.txt and pmp_verif_plan_features.txt
          files (not up-to-date) : reading below not mandatory but may help for better
          understanding >>\n\nFTR01-f (refers to FTR08-e1)\n[PMP checks may additionally
          apply to M-mode accesses, in which case the PMP registers themselves are
          locked, so that even M-mode software cannot change them until the hart is
          reset]\n \nFTR08-e1 (refers to FTR01-f) (refers to FTR09-d2-1)\n[When the
          L bit is set, these permissions are enforced for all privilege modes]\n
          FTR09-d2-1 (refers to FTR08-e1) (refers to FTR01-f)\n[if the L bit is set,
          then the access succeeds only if the R, W, or X bit corresponding to the
          access type is set]\n\nFTR02-b1\n[the lowest-numbered PMP CSRs must be implemented
          first (QUESTION: does it mean programmed first)]\n\n\nTST18-3x(group)\n\
          \  [same as TST12-3x(group), but with pmpcfg(i).A=OFF]\nTST18-36 (HIGH-PRIO)\n\
          \  [same as TST12-36(group), but with pmpcfg(i).A=OFF]"
- 018_load_MPP_L0_R1_addr_hit: !Subfeature
    name: 018_load_MPP_L0_R1_addr_hit
    tag: VP_PMP_F018_S041
    next_elt_id: 1
    display_order: 18
    items: !!omap
    - '000': !VerifItem
        name: '000'
        tag: VP_PMP_F018_S041_I000
        description: 'reuse of VP_PMP_F012_S041_I000 feature description (Cf. Feature:
          "cfg NA4 access M")'
        reqt_doc: ''
        ref_mode: page
        ref_page: ''
        ref_section: ''
        ref_viewer: firefox
        verif_goals: "reuse of VP_PMP_F012_S041_I000 verification goals (Cf. Feature:
          \"cfg NA4 access M\")\n\nCONFIGURATION\n    - pmpcfg(i): A=OFF\n    - pmpaddr(i):
          NA4 address range"
        pfc: 3
        test_type: 3
        cov_method: 1
        cores: -1
        coverage_loc: ''
        comments: "<< link to the old pmp_verif_plan.txt and pmp_verif_plan_features.txt
          files (not up-to-date) : reading below not mandatory but may help for better
          understanding >>\n\nFTR01-f (refers to FTR08-e1)\n[PMP checks may additionally
          apply to M-mode accesses, in which case the PMP registers themselves are
          locked, so that even M-mode software cannot change them until the hart is
          reset]\n \nFTR08-e2-1 (refers to  FTR09-d1)\n[When the L bit is clear, any
          M-mode access matching the PMP entry will succeed]\nFTR09-d1 (refers to
          FTR08-e2-1)\n [If the L bit is clear and the privilege mode of the access
          is M, the access succeeds]\n\nFTR02-b1\n[the lowest-numbered PMP CSRs must
          be implemented first (QUESTION: does it mean programmed first)]\n\n\nTST18-4x(group)\n\
          \  [same as TST12-4x(group), but with pmpcfg(i).A=OFF]\nTST18-41 (LOWEST-PRIO)\n\
          \  [same as TST12-41(group), but with pmpcfg(i).A=OFF]"
- 019_load_MPP_L0_R0_addr_hit: !Subfeature
    name: 019_load_MPP_L0_R0_addr_hit
    tag: VP_PMP_F018_S042
    next_elt_id: 1
    display_order: 19
    items: !!omap
    - '000': !VerifItem
        name: '000'
        tag: VP_PMP_F018_S042_I000
        description: 'reuse of VP_PMP_F012_S042_I000 feature description (Cf. Feature:
          "cfg NA4 access M")'
        reqt_doc: ''
        ref_mode: page
        ref_page: ''
        ref_section: ''
        ref_viewer: firefox
        verif_goals: "reuse of VP_PMP_F012_S042_I000 verification goals (Cf. Feature:
          \"cfg NA4 access M\")\n\nCONFIGURATION\n    - pmpcfg(i): A=OFF\n    - pmpaddr(i):
          NA4 address range"
        pfc: 3
        test_type: 3
        cov_method: 1
        cores: -1
        coverage_loc: ''
        comments: "<< link to the old pmp_verif_plan.txt and pmp_verif_plan_features.txt
          files (not up-to-date) : reading below not mandatory but may help for better
          understanding >>\n\nFTR01-f (refers to FTR08-e1)\n[PMP checks may additionally
          apply to M-mode accesses, in which case the PMP registers themselves are
          locked, so that even M-mode software cannot change them until the hart is
          reset]\n \nFTR08-e2-1 (refers to  FTR09-d1)\n[When the L bit is clear, any
          M-mode access matching the PMP entry will succeed]\nFTR09-d1 (refers to
          FTR08-e2-1)\n [If the L bit is clear and the privilege mode of the access
          is M, the access succeeds]\n\nFTR02-b1\n[the lowest-numbered PMP CSRs must
          be implemented first (QUESTION: does it mean programmed first)]\n\n\nTST18-4x(group)\n\
          \  [same as TST12-4x(group), but with pmpcfg(i).A=OFF]\nTST18-42 (LOWEST-PRIO)\n\
          \  [same as TST12-42(group), but with pmpcfg(i).A=OFF]"
- 020_load_MPP_L0_R1_addr_miss: !Subfeature
    name: 020_load_MPP_L0_R1_addr_miss
    tag: VP_PMP_F018_S043
    next_elt_id: 1
    display_order: 20
    items: !!omap
    - '000': !VerifItem
        name: '000'
        tag: VP_PMP_F018_S043_I000
        description: 'reuse of VP_PMP_F012_S043_I000 feature description (Cf. Feature:
          "cfg NA4 access M")'
        reqt_doc: ''
        ref_mode: page
        ref_page: ''
        ref_section: ''
        ref_viewer: firefox
        verif_goals: "reuse of VP_PMP_F012_S043_I000 verification goals (Cf. Feature:
          \"cfg NA4 access M\")\n\nCONFIGURATION\n    - pmpcfg(i): A=OFF\n    - pmpaddr(i):
          NA4 address range"
        pfc: 3
        test_type: 3
        cov_method: 1
        cores: -1
        coverage_loc: ''
        comments: "<< link to the old pmp_verif_plan.txt and pmp_verif_plan_features.txt
          files (not up-to-date) : reading below not mandatory but may help for better
          understanding >>\n\nFTR01-f (refers to FTR08-e1)\n[PMP checks may additionally
          apply to M-mode accesses, in which case the PMP registers themselves are
          locked, so that even M-mode software cannot change them until the hart is
          reset]\n \nFTR08-e2-1 (refers to  FTR09-d1)\n[When the L bit is clear, any
          M-mode access matching the PMP entry will succeed]\nFTR09-d1 (refers to
          FTR08-e2-1)\n [If the L bit is clear and the privilege mode of the access
          is M, the access succeeds]\n\nFTR02-b1\n[the lowest-numbered PMP CSRs must
          be implemented first (QUESTION: does it mean programmed first)]\n\n\nTST18-4x(group)\n\
          \  [same as TST12-4x(group), but with pmpcfg(i).A=OFF]\nTST18-43 (LOWEST-PRIO)\n\
          \  [same as TST12-43(group), but with pmpcfg(i).A=OFF]"
- 021_load_MPP_L1_R1_addr_hit: !Subfeature
    name: 021_load_MPP_L1_R1_addr_hit
    tag: VP_PMP_F018_S044
    next_elt_id: 1
    display_order: 21
    items: !!omap
    - '000': !VerifItem
        name: '000'
        tag: VP_PMP_F018_S044_I000
        description: 'reuse of VP_PMP_F012_S044_I000 feature description (Cf. Feature:
          "cfg NA4 access M")'
        reqt_doc: ''
        ref_mode: page
        ref_page: ''
        ref_section: ''
        ref_viewer: firefox
        verif_goals: "reuse of VP_PMP_F012_S044_I000 verification goals (Cf. Feature:
          \"cfg NA4 access M\")\n\nCONFIGURATION\n    - pmpcfg(i): A=OFF\n    - pmpaddr(i):
          NA4 address range\n\nCHECK UPDATE\n  - check store access-fault exception
          raised (TODO: is M mode access prevented by A=OFF)"
        pfc: 3
        test_type: 3
        cov_method: 1
        cores: -1
        coverage_loc: ''
        comments: "<< link to the old pmp_verif_plan.txt and pmp_verif_plan_features.txt
          files (not up-to-date) : reading below not mandatory but may help for better
          understanding >>\n\nFTR01-f (refers to FTR08-e1)\n[PMP checks may additionally
          apply to M-mode accesses, in which case the PMP registers themselves are
          locked, so that even M-mode software cannot change them until the hart is
          reset]\n \nFTR08-e1 (refers to FTR01-f) (refers to FTR09-d2-1)\n[When the
          L bit is set, these permissions are enforced for all privilege modes]\n
          FTR09-d2-1 (refers to FTR08-e1) (refers to FTR01-f)\n[if the L bit is set,
          then the access succeeds only if the R, W, or X bit corresponding to the
          access type is set]\n\nFTR02-b1\n[the lowest-numbered PMP CSRs must be implemented
          first (QUESTION: does it mean programmed first)]\n\n\nTST18-4x(group)\n\
          \  [same as TST12-4x(group), but with pmpcfg(i).A=OFF]\nTST18-44 (LOWEST-PRIO)\n\
          \  [same as TST12-44(group), but with pmpcfg(i).A=OFF\n  - check instruction
          fetch access-fault exception raised]"
- 022_load_MPP_L1_R0_addr_hit: !Subfeature
    name: 022_load_MPP_L1_R0_addr_hit
    tag: VP_PMP_F018_S045
    next_elt_id: 1
    display_order: 22
    items: !!omap
    - '000': !VerifItem
        name: '000'
        tag: VP_PMP_F018_S045_I000
        description: 'reuse of VP_PMP_F012_S045_I000 feature description (Cf. Feature:
          "cfg NA4 access M")'
        reqt_doc: ''
        ref_mode: page
        ref_page: ''
        ref_section: ''
        ref_viewer: firefox
        verif_goals: "reuse of VP_PMP_F012_S045_I000 verification goals (Cf. Feature:
          \"cfg NA4 access M\")\n\nCONFIGURATION\n    - pmpcfg(i): A=OFF\n    - pmpaddr(i):
          NA4 address range"
        pfc: 3
        test_type: 3
        cov_method: 1
        cores: -1
        coverage_loc: ''
        comments: "<< link to the old pmp_verif_plan.txt and pmp_verif_plan_features.txt
          files (not up-to-date) : reading below not mandatory but may help for better
          understanding >>\n\nFTR01-f (refers to FTR08-e1)\n[PMP checks may additionally
          apply to M-mode accesses, in which case the PMP registers themselves are
          locked, so that even M-mode software cannot change them until the hart is
          reset]\n \nFTR08-e1 (refers to FTR01-f) (refers to FTR09-d2-1)\n[When the
          L bit is set, these permissions are enforced for all privilege modes]\n
          FTR09-d2-1 (refers to FTR08-e1) (refers to FTR01-f)\n[if the L bit is set,
          then the access succeeds only if the R, W, or X bit corresponding to the
          access type is set]\n\nFTR04-c\n[Attempting to execute a load or load-reserved
          instruction which accesses a physical address within a PMP region without
          read permissions raises a load access-fault exception]\n\nFTR02-b1\n[the
          lowest-numbered PMP CSRs must be implemented first (QUESTION: does it mean
          programmed first)]\n \n\nTST18-4x(group)\n  [same as TST12-4x(group), but
          with pmpcfg(i).A=OFF]\n TST18-45 (LOWEST-PRIO)\n  [same as TST12-45(group),
          but with pmpcfg(i).A=OFF]"
- 023_load_MPP_L1_R1_addr_miss: !Subfeature
    name: 023_load_MPP_L1_R1_addr_miss
    tag: VP_PMP_F018_S046
    next_elt_id: 1
    display_order: 23
    items: !!omap
    - '000': !VerifItem
        name: '000'
        tag: VP_PMP_F018_S046_I000
        description: 'reuse of VP_PMP_F012_S046_I000 feature description (Cf. Feature:
          "cfg NA4 access M")'
        reqt_doc: ''
        ref_mode: page
        ref_page: ''
        ref_section: ''
        ref_viewer: firefox
        verif_goals: "reuse of VP_PMP_F012_S046_I000 verification goals (Cf. Feature:
          \"cfg NA4 access M\")\n\nCONFIGURATION\n    - pmpcfg(i): A=OFF\n    - pmpaddr(i):
          NA4 address range"
        pfc: 3
        test_type: 3
        cov_method: 1
        cores: -1
        coverage_loc: ''
        comments: "<< link to the old pmp_verif_plan.txt and pmp_verif_plan_features.txt
          files (not up-to-date) : reading below not mandatory but may help for better
          understanding >>\n\nFTR01-f (refers to FTR08-e1)\n[PMP checks may additionally
          apply to M-mode accesses, in which case the PMP registers themselves are
          locked, so that even M-mode software cannot change them until the hart is
          reset]\n \nFTR08-e1 (refers to FTR01-f) (refers to FTR09-d2-1)\n[When the
          L bit is set, these permissions are enforced for all privilege modes]\n
          FTR09-d2-1 (refers to FTR08-e1) (refers to FTR01-f)\n[if the L bit is set,
          then the access succeeds only if the R, W, or X bit corresponding to the
          access type is set]\n\nFTR02-b1\n[the lowest-numbered PMP CSRs must be implemented
          first (QUESTION: does it mean programmed first)]\n\n\nTST18-4x(group)\n\
          \  [same as TST12-4x(group), but with pmpcfg(i).A=OFF]\nTST18-46 (LOWEST-PRIO)\n\
          \  [same as TST12-46(group), but with pmpcfg(i).A=OFF]"
- 024_store_MPP_L0_W1_addr_hit: !Subfeature
    name: 024_store_MPP_L0_W1_addr_hit
    tag: VP_PMP_F018_S051
    next_elt_id: 1
    display_order: 24
    items: !!omap
    - '000': !VerifItem
        name: '000'
        tag: VP_PMP_F018_S051_I000
        description: 'reuse of VP_PMP_F012_S051_I000 feature description (Cf. Feature:
          "cfg NA4 access M")'
        reqt_doc: ''
        ref_mode: page
        ref_page: ''
        ref_section: ''
        ref_viewer: firefox
        verif_goals: "reuse of VP_PMP_F012_S051_I000 verification goals (Cf. Feature:
          \"cfg NA4 access M\")\n\nCONFIGURATION\n    - pmpcfg(i): A=OFF\n    - pmpaddr(i):
          NA4 address range"
        pfc: 3
        test_type: 3
        cov_method: 1
        cores: -1
        coverage_loc: ''
        comments: "<< link to the old pmp_verif_plan.txt and pmp_verif_plan_features.txt
          files (not up-to-date) : reading below not mandatory but may help for better
          understanding >>\n\nFTR01-f (refers to FTR08-e1)\n[PMP checks may additionally
          apply to M-mode accesses, in which case the PMP registers themselves are
          locked, so that even M-mode software cannot change them until the hart is
          reset]\n \nFTR08-e2-1 (refers to  FTR09-d1)\n[When the L bit is clear, any
          M-mode access matching the PMP entry will succeed]\nFTR09-d1 (refers to
          FTR08-e2-1)\n [If the L bit is clear and the privilege mode of the access
          is M, the access succeeds]\n\nFTR02-b1\n[the lowest-numbered PMP CSRs must
          be implemented first (QUESTION: does it mean programmed first)]\n\n\nTST18-5x(group)\n\
          \  [same as TST12-5x(group), but with pmpcfg(i).A=OFF]\nTST18-51 (LOWEST-PRIO)\n\
          \  [same as TST12-51(group), but with pmpcfg(i).A=OFF]"
- 025_store_MPP_L0_W0_addr_hit: !Subfeature
    name: 025_store_MPP_L0_W0_addr_hit
    tag: VP_PMP_F018_S052
    next_elt_id: 1
    display_order: 25
    items: !!omap
    - '000': !VerifItem
        name: '000'
        tag: VP_PMP_F018_S052_I000
        description: 'reuse of VP_PMP_F012_S052_I000 feature description (Cf. Feature:
          "cfg NA4 access M")'
        reqt_doc: ''
        ref_mode: page
        ref_page: ''
        ref_section: ''
        ref_viewer: firefox
        verif_goals: "reuse of VP_PMP_F012_S052_I000 verification goals (Cf. Feature:
          \"cfg NA4 access M\")\n\nCONFIGURATION\n    - pmpcfg(i): A=OFF\n    - pmpaddr(i):
          NA4 address range"
        pfc: 3
        test_type: 3
        cov_method: 1
        cores: -1
        coverage_loc: ''
        comments: "<< link to the old pmp_verif_plan.txt and pmp_verif_plan_features.txt
          files (not up-to-date) : reading below not mandatory but may help for better
          understanding >>\n\nFTR01-f (refers to FTR08-e1)\n[PMP checks may additionally
          apply to M-mode accesses, in which case the PMP registers themselves are
          locked, so that even M-mode software cannot change them until the hart is
          reset]\n \nFTR08-e2-1 (refers to  FTR09-d1)\n[When the L bit is clear, any
          M-mode access matching the PMP entry will succeed]\nFTR09-d1 (refers to
          FTR08-e2-1)\n [If the L bit is clear and the privilege mode of the access
          is M, the access succeeds]\n\nFTR02-b1\n[the lowest-numbered PMP CSRs must
          be implemented first (QUESTION: does it mean programmed first)]\n\n\nTST18-5x(group)\n\
          \  [same as TST12-5x(group), but with pmpcfg(i).A=OFF]\nTST18-52 (LOWEST-PRIO)\n\
          \  [same as TST12-52(group), but with pmpcfg(i).A=OFF]"
- 026_store_MPP_L0_W1_addr_miss: !Subfeature
    name: 026_store_MPP_L0_W1_addr_miss
    tag: VP_PMP_F018_S053
    next_elt_id: 1
    display_order: 26
    items: !!omap
    - '000': !VerifItem
        name: '000'
        tag: VP_PMP_F018_S053_I000
        description: 'reuse of VP_PMP_F012_S053_I000 feature description (Cf. Feature:
          "cfg NA4 access M")'
        reqt_doc: ''
        ref_mode: page
        ref_page: ''
        ref_section: ''
        ref_viewer: firefox
        verif_goals: "reuse of VP_PMP_F012_S053_I000 verification goals (Cf. Feature:
          \"cfg NA4 access M\")\n\nCONFIGURATION\n    - pmpcfg(i): A=OFF\n    - pmpaddr(i):
          NA4 address range"
        pfc: 3
        test_type: 3
        cov_method: 1
        cores: -1
        coverage_loc: ''
        comments: "<< link to the old pmp_verif_plan.txt and pmp_verif_plan_features.txt
          files (not up-to-date) : reading below not mandatory but may help for better
          understanding >>\n\nFTR01-f (refers to FTR08-e1)\n[PMP checks may additionally
          apply to M-mode accesses, in which case the PMP registers themselves are
          locked, so that even M-mode software cannot change them until the hart is
          reset]\n \nFTR08-e2-1 (refers to  FTR09-d1)\n[When the L bit is clear, any
          M-mode access matching the PMP entry will succeed]\nFTR09-d1 (refers to
          FTR08-e2-1)\n [If the L bit is clear and the privilege mode of the access
          is M, the access succeeds]\n\nFTR02-b1\n[the lowest-numbered PMP CSRs must
          be implemented first (QUESTION: does it mean programmed first)]\n\n\nTST18-5x(group)\n\
          \  [same as TST12-5x(group), but with pmpcfg(i).A=OFF]\nTST18-53 (LOWEST-PRIO)\n\
          \  [same as TST12-53(group), but with pmpcfg(i).A=OFF]"
- 027_store_MPP_L1_W1_addr_hit: !Subfeature
    name: 027_store_MPP_L1_W1_addr_hit
    tag: VP_PMP_F018_S054
    next_elt_id: 1
    display_order: 27
    items: !!omap
    - '000': !VerifItem
        name: '000'
        tag: VP_PMP_F018_S054_I000
        description: 'reuse of VP_PMP_F012_S054_I000 feature description (Cf. Feature:
          "cfg NA4 access M")'
        reqt_doc: ''
        ref_mode: page
        ref_page: ''
        ref_section: ''
        ref_viewer: firefox
        verif_goals: "reuse of VP_PMP_F012_S054_I000 verification goals (Cf. Feature:
          \"cfg NA4 access M\")\n\nCONFIGURATION\n    - pmpcfg(i): A=OFF\n    - pmpaddr(i):
          NA4 address range\n\nCHECK UPDATE\n  - check store access-fault exception
          raised (TODO: is M mode access prevented by A=OFF)"
        pfc: 3
        test_type: 3
        cov_method: 1
        cores: -1
        coverage_loc: ''
        comments: "<< link to the old pmp_verif_plan.txt and pmp_verif_plan_features.txt
          files (not up-to-date) : reading below not mandatory but may help for better
          understanding >>\n\nFTR01-f (refers to FTR08-e1)\n[PMP checks may additionally
          apply to M-mode accesses, in which case the PMP registers themselves are
          locked, so that even M-mode software cannot change them until the hart is
          reset]\n \nFTR08-e1 (refers to FTR01-f) (refers to FTR09-d2-1)\n[When the
          L bit is set, these permissions are enforced for all privilege modes]\n
          FTR09-d2-1 (refers to FTR08-e1) (refers to FTR01-f)\n[if the L bit is set,
          then the access succeeds only if the R, W, or X bit corresponding to the
          access type is set]\n\nFTR02-b1\n[the lowest-numbered PMP CSRs must be implemented
          first (QUESTION: does it mean programmed first)]\n\n\nTST18-5x(group)\n\
          \  [same as TST12-5x(group), but with pmpcfg(i).A=OFF]\nTST18-54 (LOWEST-PRIO)\n\
          \  [same as TST12-54(group), but with pmpcfg(i).A=OFF\n  - check instruction
          fetch access-fault exception raised]"
- 028_store_MPP_L1_W0_addr_hit: !Subfeature
    name: 028_store_MPP_L1_W0_addr_hit
    tag: VP_PMP_F018_S055
    next_elt_id: 1
    display_order: 28
    items: !!omap
    - '000': !VerifItem
        name: '000'
        tag: VP_PMP_F018_S055_I000
        description: 'reuse of VP_PMP_F012_S055_I000 feature description (Cf. Feature:
          "cfg NA4 access M")'
        reqt_doc: ''
        ref_mode: page
        ref_page: ''
        ref_section: ''
        ref_viewer: firefox
        verif_goals: "reuse of VP_PMP_F012_S055_I000 verification goals (Cf. Feature:
          \"cfg NA4 access M\")\n\nCONFIGURATION\n    - pmpcfg(i): A=OFF\n    - pmpaddr(i):
          NA4 address range"
        pfc: 3
        test_type: 3
        cov_method: 1
        cores: -1
        coverage_loc: ''
        comments: "<< link to the old pmp_verif_plan.txt and pmp_verif_plan_features.txt
          files (not up-to-date) : reading below not mandatory but may help for better
          understanding >>\n\nFTR01-f (refers to FTR08-e1)\n[PMP checks may additionally
          apply to M-mode accesses, in which case the PMP registers themselves are
          locked, so that even M-mode software cannot change them until the hart is
          reset]\n \nFTR08-e1 (refers to FTR01-f) (refers to FTR09-d2-1)\n[When the
          L bit is set, these permissions are enforced for all privilege modes]\n
          FTR09-d2-1 (refers to FTR08-e1) (refers to FTR01-f)\n[if the L bit is set,
          then the access succeeds only if the R, W, or X bit corresponding to the
          access type is set]\n\nFTR04-d\n[Attempting to execute a store, store-conditional,
          or AMO instruction which accesses a physical address within a PMP region
          without write permissions raises a store access-fault exception]\n\nFTR02-b1\n
          [the lowest-numbered PMP CSRs must be implemented first (QUESTION: does
          it mean programmed first)]\n\n\nTST18-5x(group)\n  [same as TST12-5x(group),
          but with pmpcfg(i).A=OFF]\nTST18-55 (LOWEST-PRIO)\n  [same as TST12-55(group),
          but with pmpcfg(i).A=OFF]"
- 029_store_MPP_L1_W1_addr_miss: !Subfeature
    name: 029_store_MPP_L1_W1_addr_miss
    tag: VP_PMP_F018_S056
    next_elt_id: 1
    display_order: 29
    items: !!omap
    - '000': !VerifItem
        name: '000'
        tag: VP_PMP_F018_S056_I000
        description: 'reuse of VP_PMP_F012_S056_I000 feature description (Cf. Feature:
          "cfg NA4 access M")'
        reqt_doc: ''
        ref_mode: page
        ref_page: ''
        ref_section: ''
        ref_viewer: firefox
        verif_goals: "reuse of VP_PMP_F012_S056_I000 verification goals (Cf. Feature:
          \"cfg NA4 access M\")\n\nCONFIGURATION\n    - pmpcfg(i): A=OFF\n    - pmpaddr(i):
          NA4 address range"
        pfc: 3
        test_type: 3
        cov_method: 1
        cores: -1
        coverage_loc: ''
        comments: "<< link to the old pmp_verif_plan.txt and pmp_verif_plan_features.txt
          files (not up-to-date) : reading below not mandatory but may help for better
          understanding >>\n\nFTR01-f (refers to FTR08-e1)\n[PMP checks may additionally
          apply to M-mode accesses, in which case the PMP registers themselves are
          locked, so that even M-mode software cannot change them until the hart is
          reset]\n \nFTR08-e1 (refers to FTR01-f) (refers to FTR09-d2-1)\n[When the
          L bit is set, these permissions are enforced for all privilege modes]\n
          FTR09-d2-1 (refers to FTR08-e1) (refers to FTR01-f)\n[if the L bit is set,
          then the access succeeds only if the R, W, or X bit corresponding to the
          access type is set]\n\nFTR02-b1\n[the lowest-numbered PMP CSRs must be implemented
          first (QUESTION: does it mean programmed first)]\n\n\nTST18-5x(group)\n\
          \  [same as TST12-5x(group), but with pmpcfg(i).A=OFF]\nTST18-56 (LOWEST-PRIO)\n\
          \  [same as TST12-56(group), but with pmpcfg(i).A=OFF]"
vptool_gitrev: '$Id: a8b561f68549658061625891c533e7d45996bc9e $'
io_fmt_gitrev: '$Id: 61ab4e53ca49e21d56c416f0af0fa04d148e8001 $'
config_gitrev: '$Id: 5192fced2cfa10be5e18e827922e31e7489ed987 $'
ymlcfg_gitrev: '$Id: ce5e73bd5e8e0099334cb657afb7a624a99afbda $'
